nonenumerative algorithm

不可枚举算法